English logic programming: tłumaczenie na inne języki